'''

'''
s1 = '''
  你好：
    欢迎来到我的世界！
'''
stream = open('aa.txt','w',encoding='utf-8')
result = stream.write(s1)
print(result)